Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
561	Multi-Fidelity Algorithms for Interactive Mobile Applications M. Satyanarayanan and Dushyanth Narayanan School of Computer Science Carnegie Mellon University The concept of an algorithm has proved robust over half a cent Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-01-03 12:20:00 Theoretical computer science Computer science Mathematical logic Distributed computing Medical algorithm Anytime algorithm Randomized algorithm Computational complexity theory Parallel computing Algorithms Applied mathematics Mathematics
562	3 Complexity of Reasoning Francesco M. Donini Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Complexity classes Finite model theory Boolean algebra Predicate logic Boolean satisfiability problem True quantified Boolean formula NP-complete Description logic FO Theoretical computer science Computational complexity theory Applied mathematics
563	Every 2-CSP allows nontrivial approximation Johan H˚ astad Royal Institute of Technology Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2005-06-22 08:43:27 Constraint programming Computational complexity theory Constraint satisfaction problem 2-satisfiability Constraint satisfaction Approximation algorithm Logic in computer science Combinatorial optimization Linear programming Theoretical computer science Applied mathematics Mathematics
564	Natural Deduction in Connectionist Systems William Bechtel Department of Philosophy Georgia State University Abstract The relation between logic and thought has long been controversial, but has recently Add to Reading List Source URL: mechanism.ucsd.edu Language: English - Date: 2002-06-26 02:26:00 Philosophy of artificial intelligence Computational neuroscience Connectionism Learning Cognition Language of thought hypothesis ACT-R Jerry Fodor Philosophy of mind Cognitive science Science
565	Induction of Optimal Semi-distances for Individuals based on Feature Sets Nicola Fanizzi, Claudia d’Amato, Floriana Esposito LACAM – Dipartimento di Informatica – Universit`a degli Studi di Bari Campus Universitari Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Mathematics Artificial intelligence Semantic similarity Description logic Natural logarithm Tbox Similarity Concept learning Ontology Geometry Computational linguistics
566	COSC262 Algorithms Course Outline[removed]Course aims This course deals with the fundamentals of algorithms and data structures. The course starts with basic data structures and algorithm paradigms. Then we proceed to eff Add to Reading List Source URL: www.cosc.canterbury.ac.nz Language: English - Date: 2013-10-24 17:30:16 Combinatorics Computational geometry Sorting algorithm Mathematics Algorithm Mathematical logic Theoretical computer science
567	The unpredictable deviousness of models Add to Reading List Source URL: www.ime.usp.br Language: English - Date: 2013-04-30 09:54:41 Computational complexity theory Analysis of algorithms Theory of computation Algorithm Mathematical logic Computational geometry Parallel computing Time complexity Distributed computing Theoretical computer science Applied mathematics Mathematics
568	A Computational Prospect of Infinity: ω1 -Recursion Theory Noam Greenberg Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematical logic Recursively enumerable set Enumeration Logic Computability theory Theory of computation Mathematics
569	Branden Fitelson & Edward N. Zalta Steps Toward a Computational Metaphysics∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2007-08-22 20:20:00 Automated theorem proving Model theory Prover9 First-order logic Function Unification Functor Resolution Modal logic Logic Mathematics Mathematical logic
570	P e t e r F l a c h Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2008-02-27 05:32:06 Peter Flach Data collection Data mining Logic programming Computational learning theory Inductive logic programming International Conference on Machine Learning Relational data mining Artificial intelligence Machine learning Statistics

UPDATE